((MaAuto$\cdot$) 
\\[0ex]CollapseTHEN (AllHyps ($\backslash$h. ((FLemma `can{-}apply{-}compose` [h]) 
\\[0ex]CollapseTHEN (
\\[0ex]Auto$\cdot$))$\cdot$ )))$\cdot$